/** Example rules used by the template application (remove for your app) */
h1 {
  font-size: 2em;
  font-weight: bold;
  color: #777777;
  text-align: center;
}

.button {
  /*display: block;*/
  font-size: 16pt;
}

.formula {
	width: 98%;
	font-size: 16pt;
}

.tbox {
	height: 5em;
}

#help table {
	background: LightYellow;
}

#help table td {
	margin: 0;
	color: black;
	font-size: 12pt;
}

#help table td.txt {
	padding-left: 2em;
	padding-right: 2em;
}

td.tableau {
	text-align: center;
	vertical-align: top;
}

/** Most GWT widgets already have a style name defined */
.gwt-DialogBox {
  width: 400px;
}

.dialogVPanel {
  margin: 5px;
}

.serverResponseLabelError {
  color: red;
}

/** Set ids using widget.getElement().setId("idOfElement") */
#closeButton {
  margin: 15px 6px 6px;
}
